Battery Modeling

The use of mobile devices is often limited by the capacity of the employed batteries. The battery lifetime determines how long one can use a device. Battery modeling can help to predict, and possibly extend this lifetime. Many different battery models have been developed over the years. However, with these models one can only compute lifetimes for specific discharge profiles, and not for workloads in general. In this paper, we give an overview of the different battery models that are available, and evaluate these models in their suitability to combine them with a workload model to create a more powerful battery model. \u

Bottlenecks in Two-Hop Ad Hoc Networks - Dividing Radio Capacity in a Smart Way

In two-hop ad hoc networks the available radio capacity tends to be equally shard among the contending stations, which may lead to bottleneck situations in case of unbalanced traffic routing. We propose a generic model for evaluating adaptive capacity sharing strategies. We use infinite-state stochastic Petri nets for modeling the system and use the logic CSRL for specifying the measures of interest

Versatile Markovian models for networks with asymmetric TCP sources

In this paper we use Stochastic Petri Nets (SPNs) to study the interaction of multiple TCP sources that share one or two buffers, thereby considerably extending earlier work. We first consider two sources sharing a buffer and investigate the consequences of two popular assumptions for the loss process in terms of fairness and link utilization. The results obtained by our model are in agreement with existing analytic models or are closer to results obtained by ns-2 simulations. We then study a network consisting of three sources and two buffers and provide evidence that link sharing is approximately minimum-potential-delay-fair in case of equal round-trip times. \u

Product forms for availability

This paper shows and illustrates that product form expressions for the steady state distribution, as known for queueing networks, can also be extended to a class of availability models. This class allows breakdown and repair rates from one component to depend on the status of other components. Common resource capacities and repair priorities, for example, are included. Conditions for the models to have a product form are stated explicitly. This product form is shown to be insensitive to the distributions of the underlying random variables, i.e. to depend only on their means. Further it is briefly indicated how queueing for repair can be incorporated. Novel product form examples are presented of a simple series/parallel configuration, a fault tolerant database system and a multi-stage interconnection network

Development of a smart grid simulation environment

With the increased integration of renewable energy sources the interaction between energy producers and consumers has become a bi-directional exchange. Therefore, the electrical grid must be adapted into a smart grid which effectively regulates this two-way interaction. With the aid of simulation, stakeholders can obtain information on how to properly develop and control the smart grid.\ud In this paper, we present the development of an integrated smart grid simulation model, using the Anylogic simulation environment. Among the elements which are included in the simulation model are houses connected to a renewable energy source, and batteries as storage devices. With the use of the these elements a neighbourhood model can be constructed and simulated under multiple scenarios and configurations. The developed simulation environment provides users better insight into the effects of running different configurations in their houses as well as allow developers to study the inter-exchange of energy between elements in a smart city on multiple levels

Rate-Based Transition Systems for Stochastic Process Calculi

A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition relation used in our variant associates to each process, for each action, the set of possible futures paired with a measure indicating their rates. We show how RTS can be used for providing the operational semantics of stochastic extensions of classical formalisms, namely CSP and CCS. We also show that our semantics for stochastic CCS guarantees associativity of parallel composition. Similarly, in contrast with the original definition by Priami, we argue that a semantics for stochastic π-calculus can be provided that guarantees associativity of parallel composition